Nonmonotonic logics—recent advances
نویسندگان
چکیده
The ESSLLI course material has been compiled by Mirek Truszczynski. Unless otherwise mentioned, the copyright lies with the individual authors of the material. Mirek Truszczynski declares that he has obtained all necessary permissions for the distribution of this material. ESSLLI 2008 and its organizers take no legal responsibility for the contents of this booklet.
منابع مشابه
Default Reasoning, Nonmonotonic Logics, and the Frame Problem
Nonmonotonic formal systems have been proposed as an extension to classical first-order logic that will capture the process of human “default reasoning” or “plausible inference” through their inference mechanisms just as modus ponena provides a model for deductive reasoning. But although the technical properties of these logics have been studied in detail and many examples of human default reas...
متن کاملDefault geasoning, Nonmonotonic Logics, and the Frame Problem
Nonmonotonic formal systems have been proposed as an extension to classical first-order logic that will capture the process of human “default reasoning” or “plausible inference” through their inference mechanisms just as modus ponena provides a model for deductive reasoning. But although the technical properties of these logics have been studied in detail and many examples of human default reas...
متن کاملNiemelä and Schwind : Proof Systems for Nonmonotonic Logics
A survey of proof systems for nonmonotonic logics is presented. In particular , proof methods for default logics, nonmonotonic modal logics, circum-scription, and conditional logics are discussed.
متن کاملRepresentation Independence of Nonmonotonic Inference Relations
A logical concept of representation independence is developed for nonmonotonic logics , including probabilistic inference systems. The general framework then is applied to several nonmonotonic logics, particularly propo-sitional probabilistic logics. For these logics our investigation leads us to modiied inference rules with greater representation independence .
متن کاملSemantical Considerations on Nonmonotonic Logic
Commonsense reasoning is "nonmonotonic" in the sense that we often draw conclusions on the basis of partial information that we retract when we are given more complete information. Some of the most interesting products of the recent attempts to formalize nonmonotonic reasoning are the nonmonotonic logics of McDermott and Doyle [McDermott and Doyle, 1980] [McDermott, 1982]. These logics, however...
متن کامل